Buy Used and New Andrzej Tarlecki Books

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, ... 906 (Lecture Notes in Computer Science)

by Gianna Reggio,Egidio Astesiano,Andrzej Tarlecki

ISBN 13: 9783540591320

Format: Paperback (540 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Mathematical Foundations of Computer Science 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings: Symposium Proceedings (Lecture Notes in Computer Science)

by Andrzej Tarlecki

ISBN 13: 9783540543459

Format: Paperback (452 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings (Lecture Notes in Computer Science)

by John Fitzgerald,Ian J. Hayes,Andrzej Tarlecki

ISBN 13: 9783540278825

Format: Illustrated (580 pages)
Publisher: Springer
Published: 22 Aug 2005

Save for later

Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings: 3210 (Lecture Notes in Computer Science)

by Jerzy Marcinkowski, Andrzej Tarlecki

ISBN 13: 9783540230243

Format: Paperback (538 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers: 332 (Lecture Notes in Computer Science)

by Andrzej Tarlecki,Donald Sannella

ISBN 13: 9783540503255

Format: Paperback (276 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later